1041. VeriIog HDL : digital design and modeling
المؤلف: / Joseph Cavanagh
المکتبة: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع: Digital electronics,Logic circuits--Computer-aided design,Verilog (Computer hardware description language)
رده :
TK7868
.
D5C395
1042. Verification:
المؤلف: edited by Nachum Dershowitz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2004
1043. Verification of Sequential and Concurrent Programs
المؤلف: by Krzysztof R. Apt, Ernst-Rüdiger Olderog.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
76
.
V47
B957
1997
1044. Verifying Concurrent Processes Using Temporal Logic
المؤلف: by Brent T. Hailpern.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
1045. Verilog HDL :
المؤلف: by Joseph Cavanagh.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Digital electronics.,Logic circuits -- Computer-aided design.,Verilog (Computer hardware description language)
رده :
TK7868
.
D5
B956
2007
1046. Verilog HDL: digital design and modeling
المؤلف: Cavanagh, Joseph J. F.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Digital electronics,Computer-aided design ، Logic circuits,، Verilog )Computer hardware description language(
رده :
TK
7868
.
D5
C395
2007
1047. Verilog HDL synthesis
المؤلف: / J. Bhasker
المکتبة: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع: Verilog (Computer hardware description language),Logic design - Data processing
رده :
TK7885
.
7
.
B528
1048. Verilog HDL synthesis :a practical primer
المؤلف: Bhasker, Jayaram.
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Verilog )Computer hardware description language(,Data processing ، Logic design
رده :
TK
7885
.
7
.
B5284
1998
1049. Verilog coding for logic synthesis
المؤلف: / Weng Fook Lee
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Digital electronics,Logic circuits- Computer-aided design,Verilog (Computer hardware description language)
رده :
E-BOOK
1050. Verilog coding for logic synthesis
المؤلف: / Weng Fook Lee
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Digital electronics,Logic circuits- Computer-aided design,Verilog (Computer hardware description language)
رده :
TK7868
.
D5
,
L42
2003
1051. Verilog coding for logic synthesis
المؤلف: / weng fook LEE
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: digital electronics,Logic circuits-computer-aided design
رده :
TK7868
.
D5
,
L45
2003
1052. Verilog coding for logic synthesis
المؤلف: Lee, Weng Fook.
المکتبة: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Digital electronics,Computer-aided design ، Logic circuits,، Verilog )Computer hardware description language(
رده :
TK
7868
.
D5
L42
1053. Vivid logic
المؤلف: / Gerd Wagner
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Expert systems (Computer science),Logic, Symbolic and mathematical.
رده :
QA
,
76
.
76
,.
E95
,
W33
,
1994
1054. Vivid logic :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
1055. Vivid logic : knowledge-based reasoning with two kinds of negation
المؤلف: Wagner, Gerd, 7591-
المکتبة: (طهران)
موضوع: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
764
1056. Web Services and Formal Methods :
المؤلف: edited by Maurice H. Beek, Niels Lohmann.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
1057. Web reasoning and rule systems
المؤلف: Markus Krötzsch, Umberto Straccia (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
رده :
TK5105
.
88815
.
R8
2012eb
1058. What is a logical system?
المؤلف: edited by D.M. Gabbay
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Computer science
رده :
QA
9
.
2
.
W48
1994
1059. Why Prolog? : justifying logic programming for practical applications
المؤلف: Lazarev, Gregory L
المکتبة: (طهران)
موضوع: ، Prolog )Computer program language(,، Logic programming
رده :
QA
76
.
73
.
P76
L38
1989
